21. Beyond the horizon of computability :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computable functions ;
22. Compability theory, Semantics, and logic programming
پدیدآورنده: / Melvin C. Fitting
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computable functions,Data structures (computer science)
رده :
QA
9
.
59
.
F58
1986
23. Computability
پدیدآورنده : Douglas S. Bridges,Title
موضوع : Computable functions
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
24. Computability /
پدیدآورنده: George J. Tourlakis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
25. Computability
پدیدآورنده: Tourllakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
T68
1984
26. Computability
پدیدآورنده: Weihrauch, K.)Klaus(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
W45
1987
27. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده: \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
28. Computability : a mathematical sketchbook
پدیدآورنده: Bridges, Douglas S., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions
رده :
QA
9
.
59
.
B754
29. Computability : a mathematical sketchbook
پدیدآورنده: Bridges, Douglas S
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Computable functions
رده :
QA
9
.
59
.
B75
1994
30. Computability, an introduction to recursive function theory
پدیدآورنده: Cutland, Nigel.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computable functions,، Recursion theory
رده :
QA
9
.
59
.
C87
1980
31. Computability, an introduction to recursive function theory
پدیدآورنده: / Nigel Cutland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
32. Computability : an introduction to recursive function theory
پدیدآورنده: Cutland, Nigel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
33. Computability, an introduction to recursive function theory /
پدیدآورنده: Nigel Cutland
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
34. Computability, an introduction to recursive function theory
پدیدآورنده: / Nigel Cutland
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
35. Computability, an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel.
موضوع : ، Computable functions,، Recursion theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
36. Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers
پدیدآورنده: Jens Blanck, Vasco Brattka, Peter Hertling )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Mathematical analysis,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
2064
37. Computability and logic
پدیدآورنده: Boolos, George.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
38. Computability and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
39. Computability and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
E-BOOK
40. Computability and logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computable functions.,Recursive functions.,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
59
,.
B66
,
2002
